# -*- mode: snippet -*-
# name: Unset Tactic Pattern Unification
# --
Unset Tactic Pattern Unification
